////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// Copyright (c) Microsoft Corporation.  All rights reserved.
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

#ifndef _DRIVERS_PERFORMANCE_COUNTERS_DECL_H_
#define _DRIVERS_PERFORMANCE_COUNTERS_DECL_H_ 1

//--//

void   Time_PerformanceCounter_Initialize  ();
void   Time_PerformanceCounter_Uninitialize();
UINT32 Time_PerformanceCounter             ();

//--//

#endif // _DRIVERS_PERFORMANCE_COUNTERS_PERFORMANCE_COUNTERS_FUNCTIONS_H_

